Formale Verifikation eingebetteter Systeme

Dr. rer. nat. Viktor Sabelfeld studierte von 1966 bis 1971 Mathematik und arbeitete dann bis 1996 an der Universität Nowosibirsk als Professor. Sein Forschungsgebiet liegt auf den äquivalenten Programmtransformationen. Seit November 1997 arbeitet er am IRF. Dr. rer. nat. Michaela Huhn studierte 1985-1992 Informatik in Erlangen und arbeitete bis 1997 an der Universität Hildesheim im Themengebiet "‘Spezifikation und Verifikation verteilter Systeme"’. Sie promovierte über die Integration von Verfeinerung in prozeßalgebraischen und temporallogischen Spezifikationen. Seit 1998 arbeitet sie am IRF. Prof. Dr.-Ing. Detlef Schmid ist Mitbegründer der Fakultät Informatik der Universität Karlsruhe und leitet seitdem das Institut für Rechnerentwurf und Fehlertoleranz (IRF). Mit dem Sonderforschungsbereich "‘Automatisierter Systementwurf"’ begann er bereits 1992, sich intensiv mit formaler Verifikation zu beschäftigen. Dr. rer. nat. Klaus Schneider studierte von 1987-1992 Informatik an der Universität Karlsruhe und promovierte 1995 über Abstraktionsverfahren in der Hardwareverifikation bei Prof. Dr.-Ing. Schmid. Seit 1997 koordiniert er das Projekt "‘Verifikation eingebetteter Systeme"’ des Schwerpunktprogramms. Dipl.-Inform. George Logothetis studierte Informatik an der Universität Frankfurt. In seiner Diplomarbeit entwickelte er Verfahren zur Modellprüfung von temporalen Logiken mit quantitativer Zeit. Seit November 1997 arbeitet er am IRF.